Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Alain Giorgetti »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Alain Gilberg < Alain Giorgetti < Alain Goupil  Facettes :

List of bibliographic references indexed by Alain Giorgetti

Number of relevant bibliographic references: 41.
[20-40] [0 - 20][0 - 41][40-40][40-60]
Ident.Authors (with country if any)Title
002335 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy Rewriting Modulo Associativity and Commutativity
002477 (2011-01-17) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]Rewriting and Symbolic Transformations for Multiscale Methods
002A48 (2010-10) Gérard Cécé [France] ; Alain Giorgetti [France]Simulations for a Class of Two-Dimensional Automata
002B57 (2010-07-29) Alain Giorgetti [France]Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System
002C20 (2010-06-28) Alain Giorgetti [France] ; Ahmed Hammad [France] ; Bruno Tatibouët [France]Using SysML for Smart Surface Modeling
002D75 (2010-03-27) Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France]Specifying Generic Java Programs: two case studies
003255 (2010) Omar Chebaro [France] ; Nikolaï Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]Combining Static Analysis and Test Generation for {C} Program Debugging
003374 (2009-10) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Specifying and Proving a Sorting Algorithm
003522 (2009-06-27) Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France]Graph Based Reduction of Program Verification Conditions
004143 (2008) Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France]Verification of class liveness properties with Java modeling language
004563 (2008) Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France]Graph-based Reduction of Program Verification Conditions
004A06 (2007-01-29) Alain Giorgetti [France] ; Julien Groslambert [France]Un programme annoté en vaut deux
004A13 (2007-01-17) Fabrice Bouquet [France] ; Jean-François Couchot [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France]Instantiation of Parameterized Data Structures for Model-Based Testing
005170 (2006-03-29) Alain Giorgetti [France] ; Julien Groslambert [France]JAG : Génération d'annotations JML pour vérifier des propriétés temporelles
005175 (2006-03-27) Alain Giorgetti [France] ; Julien Groslambert [France]JAG: JML Annotation Generation for Verifying Temporal Properties
005674 (2006) Alain Giorgetti [France] ; Julien Groslambert [France]JAG : Génération d'annotations JML pour vérifier des propriétés temporelles
009D54 (2000) Didier Arquès [France] ; Alain Giorgetti [France]Counting rooted maps on a surface
00AE06 (1998) Alain GiorgettiMaple V release 5 pour Windows 95
00AE10 (1998) Jean-François Béraud ; Alain GiorgettiMAP, un package Maple pour compter les cartes pointées
00AF00 (1998) Alain Giorgetti [France]Maple V release 5 pour Windows 95
00B494 (1998) Jean-François Béraud ; Alain Giorgetti [France]MAP, un package Maple pour compter les cartes pointées

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Alain Giorgetti" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Alain Giorgetti" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Alain Giorgetti
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022